Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
21	THE WEAKNESS OF BEING COHESIVE, THIN OR FREE IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this pape Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2016-02-08 07:56:59 Computability theory Computable function Computation in the limit Second-order arithmetic Compactness theorem Reverse mathematics 01 class PA degree Low Algorithmically random sequence Computable number
22	Ramsey-type graph coloring and diagonal non-computability Ludovic Patey Abstract A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions pla Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-01-27 11:28:33 Computability theory Theory of computation Mathematics Theoretical computer science Mathematical analysis Computable function Sigma-algebra Generalised Whitehead product
23	Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-06-09 09:40:53 Computability theory Theory of computation Computable number Computable analysis Mathematical analysis Mathematical logic Function Computable function Hypercomputation
24	Computability Theory, Reverse Mathematics, and Ordered Fields Oscar Louis Levin, Ph.D. University of Connecticut, 2009 Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2009-04-27 16:38:49 Field theory Computability theory Real algebraic geometry Theory of computation Elementary mathematics Ordered field Computable function Field Archimedean property Function Real number Reverse mathematics
25	˝ DOMINATING THE ERDOS-MOSER THEOREM IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. The Erd˝ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-05-13 11:24:44 Mathematical analysis Mathematics Measure theory Computability theory Computable function Theory of computation Probability theory Differential forms Relationships among probability distributions Sigma-algebra
26	Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second, Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2008-12-18 11:10:27 Theory of computation Computability theory Busy beaver Computable function Computability Turing machine Halting problem Hypercomputation Computable number Algorithm Alan Turing Ackermann function
27	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
28	Indifferent sets Santiago Figueira∗ Joseph S. Miller† Andr´e Nies‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-01-20 10:12:05 Measure theory Normal number Support Computable function Computability theory Theory of computation Mathematics
29	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:33:09 Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology
30	Feasible analysis, randomness, and base invariance Santiago Figueira Andr´e Nies March 26, 2014 Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2014-03-26 16:19:21 Computability theory Theory of computation Game theory Martingale Martingale theory Normal distribution Symbol Normal number Computable function Mathematics Statistics Theoretical computer science